
#ifndef __DRV_TIMER_H__
#define __DRV_TIMER_H__



extern void timer4_init(void);

#endif
